Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
211	The CPS transform from Griffin. Let us first repeat what Herman already showed on the blackboard. The definition of the CPS transform in Griffin is: x = λk. kx λx. M = λk. k (λx. M ) M N = λk. M (λm. N (λn. mnk)) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-28 07:13:57 Computability theory Mathematical logic Theoretical computer science Mathematics Differential topology Orbifold Combinatory logic
212	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database
213	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
214	Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|riazanov\|seanb\|horrocks}@cs.man.ac. Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:08 Semantic Web Knowledge representation Logic Cognitive science Computing Information science Artificial intelligence Knowledge engineering Description logic Web Ontology Language Ontology Semantic Web Rule Language
215	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function
216	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
217	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
218	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
219	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
220	Principled Evaluation of Differentially Private Algorithms Michael Hay∗ , Ashwin Machanavajjhala∗∗ , Gerome Miklau† , Yan Chen∗∗ , Dan Zhang† ∗ Colgate University, Department of Computer Science, mhay@col Add to Reading List Source URL: tpdp16.cse.buffalo.edu Language: English - Date: 2016-06-09 22:52:39 Theoretical computer science Algorithm Mathematical logic Analysis of algorithms Machine learning Mathematics Cognitive science

UPDATE